Ideas from 'The Logical Syntax of Language' by Rudolph Carnap [1934], by Theme Structure

green numbers give full details    |     back to texts     |     expand these ideas

---

5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence

13342

Carnap defined consequence by contradiction, but this is unintuitive and changes with substitution [Tarski]

5. Theory of Logic / C. Ontology of Logic / 4. Logic by Convention

13251

Each person is free to build their own logic, just by specifying a syntax